μεταμαθηματικά

τα

μαθημ. μαθηματική διαισθητική θεωρία που έχει ως αντικείμενο τις αποδείξεις τής τυπολογικής θεωρίας, αλλ. θεωρία τής απόδειξης ή μεταμαθηματική θεωρία.